//
// class WS {
//     ip: string
//     port: string
//     closure: Function
//     ws: WebSocket
//     constructor (ip: string, port: string) {
//         thie.ip = ip
//         this.port = port
//         this.ws = new WebSocket('ws://' + ip + ':' + port)
//
//         this.ws.open = function () {
//             console.log('acquiring data')
//         }
//
//         this.ws.onmessage = function (ev: any) {
//             console.log('收到spring消息', ev.data)
//         }
//
//         this.ws.onclose = function (ev: any) {
//             alert('connection closed!')
//         }
//
//         this.ws.onerror = function (ev: any) {
//             alert('connection error!')
//         }
//
//         this.closure = function () {
//             this.ws.close()
//         }
//     }
// }